Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
81	BRICS Basic Research in Computer Science BRICS NS-00-6 Mosses & de Moura (eds.): AS 2000 Proceedings Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-26 04:40:35 Peter Mosses Theoretical computer science David Watt Federal University of Pernambuco BRIC Computer science Formal methods Programming language semantics Action semantics
82	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science
83	Validating Library Usage Interactively? William R. Harris, Guoliang Jin, Shan Lu, and Somesh Jha University of Wisconsin, Madison, WI, USA { wrharris, aliang, shanlu, jha }@cs.wisc.edu Abstract. Programmers who develop Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-05-03 16:27:37 Computing Logic in computer science Theoretical computer science Programming language semantics Abductive reasoning Charles Sanders Peirce Operational semantics ALGOL 68 Algorithm Procedural programming languages Programming language theory Software engineering
84	Katahdin Mutating a Programming Language’s Syntax and Semantics at Runtime Chris Seaton The University of Bristol Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Computing Computer programming Parsing expression grammar Recursive descent parser LL parser Left recursion LR parser Operator associativity Syntax Software engineering Formal languages Parsing
85	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog using Maude Huibiao Zhu1 Peng Liu1 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:48:22 Mathematical logic Logic in computer science Semantics Grammar Denotational semantics Operational semantics Algebraic semantics Negation Interpretation Programming language semantics Theoretical computer science Logic
86	Katahdin A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Chris Seaton Traditional Development Tools Add to Reading List Source URL: www.chrisseaton.com Language: English Formal languages Compiler construction Procedural programming languages Notation Programming language Parsing Compiler-compiler Python Compiler Software engineering Computing Computer programming
87	Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions Chengcheng Wu Yongxin Zhao Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 15:08:44 Theoretical computer science Logic in computer science Deduction Operational semantics Algebraic semantics Calculus BL Soundness Denotational semantics Logic Programming language semantics Mathematical logic
88	DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Formal languages Compiler construction Parsing Programming language implementation Programming language Syntax Compiler-compiler Memoization Formal grammar Computing Software engineering Computer programming
89	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
90	Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-11-02 12:47:33 Theoretical computer science Type theory Transaction processing Logic in computer science Programming language semantics Denotational semantics Object Type system Consistency model Data types Computing Software engineering

UPDATE